how long does a craniotomy take